English linear resolution: translation to other languages